DREYER, DEREK: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

RustBelt: securing the foundations of the rust programming language

Jung, Ralf, Jourdan, Jacques-Henri, Krebbers, Robbert, Dreyer, Derek

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 536 KB

english, 2017

2

How to make ad hoc proof automation less ad hoc

GONTHIER, GEORGES, ZILIANI, BETA, NANEVSKI, ALEKSANDAR, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 791 KB

english, 2013

3

F-ing modules

ROSSBERG, ANDREAS, RUSSO, CLAUDIO, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 643 KB

english, 2014

4

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

5

Two Heuristics for the Euclidean Steiner Tree Problem

Derek R. Dreyer, Michael L. Overton

Journal:

Journal of Global Optimization

Year:

1998

Language:

english

File:

PDF, 368 KB

english, 1998

6

A 25-year experience of endomyocardial biopsy safety in infants

Zhorne, Derek, Petit, Christopher J., Ing, Frank F., Justino, Henri, Jefferies, John L., Dreyer, William J., Kearney, Debra, Crystal, Matthew A.

Journal:

Catheterization and Cardiovascular Interventions

Year:

2013

Language:

english

File:

PDF, 122 KB

english, 2013

7

Modular type classes

Dreyer, Derek, Harper, Robert, Chakravarty, Manuel M. T., Keller, Gabriele

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 569 KB

english, 2007

8

Mixin’ Up the ML Module System

Rossberg, Andreas, Dreyer, Derek

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2013

Language:

english

File:

PDF, 566 KB

english, 2013

9

Infusion of brain-derived neurotrophic factor into the ventral tegmental area switches the substrates mediating ethanol motivation

Ting-A-Kee, Ryan, Vargas-Perez, Hector, Bufalino, Mary-Rose, Bahi, Amine, Dreyer, Jean-Luc, Tyndale, Rachel F., van der Kooy, Derek

Journal:

European Journal of Neuroscience

Year:

2013

Language:

english

File:

PDF, 650 KB

english, 2013

10

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Separation Logic in the Presence of Garbage Collection

Hur, Chung-Kil, Dreyer, Derek, Vafeiadis, Viktor

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

11

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Logical Step-Indexed Logical Relations

Dreyer, Derek, Ahmed, Amal, Birkedal, Lars

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

12

Reengineering the Radiology Enterprise: A Summary of the 2014 Intersociety Committee Summer Conference

Dodd, Gerald D., Allen, Bibb, Birzniek, Derek, Boland, Giles W., Brink, James A., Dreyer, Keith J., Khandheria, Paras, Kruskal, Jonathan B., Ricci, Peter, Seibert, J. Anthony, Zane, Richard

Journal:

Journal of the American College of Radiology

Year:

2015

Language:

english

File:

PDF, 214 KB

english, 2015

13

Non-parametric parametricity

NEIS, GEORG, DREYER, DEREK, ROSSBERG, ANDREAS

Journal:

Journal of Functional Programming

Year:

2011

Language:

english

File:

PDF, 474 KB

english, 2011

14

The impact of higher-order state and control effects on local relational reasoning

DREYER, DEREK, NEIS, GEORG, BIRKEDAL, LARS

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 886 KB

english, 2012

15

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Modular type classes

Dreyer, Derek, Harper, Robert, Chakravarty, Manuel M. T., Keller, Gabriele

Year:

2007

Language:

english

File:

PDF, 569 KB

english, 2007

16

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Mixin' up the ML module system

Dreyer, Derek, Rossberg, Andreas

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

17

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

18

Principles of POPL

Dreyer, Derek, Field, John, Giacobazzi, Roberto, Hicks, Michael, Jagannathan, Suresh, Sagiv, Mooly, Sewell, Peter, Wadler, Phil

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 80 KB

english, 2013

19

A type system for well-founded recursion

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 153 KB

english, 2004

20

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - A type system for recursive modules

Year:

2007

Language:

english

File:

PDF, 288 KB

english, 2007

21

The impact of higher-order state and control effects on local relational reasoning

Dreyer, Derek, Neis, Georg, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

22

A kripke logical relation between ML and assembly

Hur, Chung-Kil, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 574 KB

english, 2011

23

SIGPLAN awards

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 54 KB

english, 2014

24

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - State-dependent representation independence

Ahmed, Amal, Dreyer, Derek, Rossberg, Andreas

Year:

2008

Language:

english

File:

PDF, 373 KB

english, 2008

25

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Non-parametric parametricity

Neis, Georg, Dreyer, Derek, Rossberg, Andreas

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

26

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The impact of higher-order state and control effects on local relational reasoning

Dreyer, Derek, Neis, Georg, Birkedal, Lars

Year:

2010

Language:

english

File:

PDF, 560 KB

english, 2010

27

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - A kripke logical relation between ML and assembly

Hur, Chung-Kil, Dreyer, Derek

Year:

2011

Language:

english

File:

PDF, 574 KB

english, 2011

28

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Superficially substructural types

Krishnaswami, Neelakantan R., Turon, Aaron, Dreyer, Derek, Garg, Deepak

Year:

2012

Language:

english

File:

PDF, 567 KB

english, 2012

29

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Turon, Aaron, Dreyer, Derek, Birkedal, Lars

Year:

2013

Language:

english

File:

PDF, 710 KB

english, 2013

30

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

31

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - A type system for well-founded recursion

Year:

2004

Language:

english

File:

PDF, 153 KB

english, 2004

32

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Logical relations for fine-grained concurrency

Turon, Aaron J., Thamsborg, Jacob, Ahmed, Amal, Birkedal, Lars, Dreyer, Derek

Year:

2013

Language:

english

File:

PDF, 717 KB

english, 2013

33

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - GPS

Turon, Aaron, Vafeiadis, Viktor, Dreyer, Derek

Year:

2014

Language:

english

File:

PDF, 836 KB

english, 2014

34

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Iris

Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, Derek

Year:

2015

Language:

english

File:

PDF, 974 KB

english, 2015

35

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - The marriage of bisimulations and Kripke logical relations

Hur, Chung-Kil, Dreyer, Derek, Neis, Georg, Vafeiadis, Viktor

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

36

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Verifying read-copy-update in a logic for weak memory

Tassarotti, Joseph, Dreyer, Derek, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

37

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Backpack

Kilpatrick, Scott, Dreyer, Derek, Peyton Jones, Simon, Marlow, Simon

Year:

2014

Language:

english

File:

PDF, 720 KB

english, 2014

38

[ACM Press the 5th ACM SIGPLAN workshop - Madrid, Spain (2010.01.23-2010.01.23)] Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 - F-ing modules

Rossberg, Andreas, Russo, Claudio V., Dreyer, Derek

Year:

2010

Language:

english

File:

PDF, 514 KB

english, 2010

39

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - The power of parameterization in coinductive proof

Hur, Chung-Kil, Neis, Georg, Dreyer, Derek, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 696 KB

english, 2013

40

State-dependent representation independence

Ahmed, Amal, Dreyer, Derek, Rossberg, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 373 KB

english, 2009

41

Mtac: A monad for typed tactic programming in Coq

ZILIANI, BETA, DREYER, DEREK, KRISHNASWAMI, NEELAKANTAN R., NANEVSKI, ALEKSANDAR, VAFEIADIS, VIKTOR

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 1.67 MB

english, 2015

42

Recursive type generativity

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 273 KB

english, 2007

43

Recursive type generativity

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 200 KB

english, 2005

44

How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

45

A type system for recursive modules

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 288 KB

english, 2007

46

A relational modal logic for higher-order stateful ADTs

Dreyer, Derek, Neis, Georg, Rossberg, Andreas, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 585 KB

english, 2010

47

SIGPLAN most influential paper awards

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 61 KB

english, 2013

48

Mixin' up the ML module system

Dreyer, Derek, Rossberg, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

49

Non-parametric parametricity

Neis, Georg, Dreyer, Derek, Rossberg, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

50

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Turon, Aaron, Dreyer, Derek, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 710 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски